2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic, 2)
Автор:
Richard Bornat
Категория:
Образование
Размер книги: 3.31 Mb
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
Автор:
Richard Bornat
Категория:
Образование
Размер книги: 2.84 Mb
Programming from First Principles
Автор:
Richard Bornat
Категория:
Cs_Computer science
,
CsAl_Algorithms
Размер книги: 3.86 Mb
Proof and disproof in formal logic. An introduction for programmers
Автор:
Richard Bornat
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 2.57 Mb
Proof and Disproof in Formal Logic: An Introduction for Programmers
Автор:
Richard Bornat
Размер книги: 5.14 Mb
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
Автор:
Richard Bornat
Размер книги: 5.22 Mb
Programming from First Principles (Prentice-Hall International series in computer science)
Автор:
Richard Bornat
Размер книги: 3.99 Mb
Understanding and Writing Compilers: A Do It Yourself Guide (Macmillan Computer Science Series)
Автор:
Richard Bornat
Размер книги: 2.58 Mb
